TABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC ¨ THOMAS BOLANDER AND TORBEN BRAUNER Abstract. Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various

Source URL: www.imm.dtu.dk

R.E.G. UPSHUR and ERROL COLAK ARGUMENTATION AND EVIDENCE ABSTRACT. This essay explores the role of informal logic and its application in the context of current debates regarding evidence-based medicine. This aim is achi

Source URL: www.cfpb.nl

• Critical thinking
• Arguments
• Reasoning
• Design of experiments
• Argumentation theory
• Doug Walton
• Informal logic
• Evidence-based medicine
• Stephen Toulmin
• Science
• Knowledge
• Logic

The Abstract Domain of Segmented Ranking Functions Caterina Urban ´ Ecole Normale Sup´erieure - CNRS - INRIA, Paris, France

Source URL: www.di.ens.fr

• Structure
• Function
• Itō diffusion
• Mathematics
• Mathematical logic
• Abstract interpretation

A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution

Source URL: www.cs.man.ac.uk

• Automata theory
• Formal languages
• Logic in computer science
• Runtime verification
• Design
• Finite-state machine
• Regular expression
• C Sharp
• Pattern
• Computing
• Software engineering
• Theoretical computer science

An Abstract Domain to Infer Ordinal-Valued Ranking Functions ”to infinity. . . and beyond!” Caterina Urban and Antoine Min´ e

Source URL: www.di.ens.fr

• Mathematical logic
• Model theory
• Abstract interpretation
• Semantics
• Interpretation
• Function
• Piecewise
• Denotational semantics
• Mathematics
• Functions and mappings
• Logic

RUDIN-KEISLER POSETS OF COMPLETE BOOLEAN ALGEBRAS PETER JIPSEN, ALEXANDER PINUS, HENRY ROSE Abstract. The Rudin-Keisler ordering of ultrafilters is extended to complete Boolean algebras and characterised in terms of elem

Source URL: www1.chapman.edu

• Model theory
• Boolean algebra
• Order theory
• Non-standard analysis
• Universal algebra
• Ultrafilter
• Symbol
• Structure
• Ultraproduct
• Mathematics
• Mathematical logic
• Logic

Math. Appl), 1–1 TITLE TITLE TITLE FORENAME1 SURNAME1 and FORENAME2 SURNAME2 Abstract. Abstract abstract abstract abstract abstract abstract abstract abstract abstract.

Source URL: ma.fme.vutbr.cz

• Oscillation theory
• Theorem
• Logic
• Mathematics
• Ordinary differential equations

On Elementary Linear Logic and polynomial time (Extended Abstract) Patrick Baillot∗ ENS Lyon, Universit´e de Lyon, LIP (UMR 5668 CNRS-ENSL-INRIA-UCBL)

Source URL: www.cs.swan.ac.uk

• Complexity classes
• Proof theory
• Structural complexity theory
• Curry–Howard correspondence
• Type theory
• NP
• Time complexity
• Reduction
• Linear logic
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

Outline Part I Residuated Lattices Universal Algebra

Source URL: mathcs.chapman.edu

• Lattice theory
• Fuzzy logic
• Algebraic structures
• Mathematical logic
• Order theory
• Residuated lattice
• Lattice
• Monoidal t-norm logic
• Heyting algebra
• Abstract algebra
• Mathematics
• Logic

An extraordinary origami curve Frank Herrlich ∗, Gabriela Schmith¨ usen †

Source URL: www.math.kit.edu

• Group theory
• Elliptic curve
• Holomorph
• Curve
• Combinatory logic
• Orbifold
• Abstract algebra
• Mathematics
• Geometry